The Torontoic Dialogues

Irony in the Platonic Dialogues

Command Dialogues

We propose a formal representation of imperatives in computational systems, and a multi-agent dialogue protocol to argue over these. Our representation treats a command as a presumptive argument for an action to be executed by a designated agent, together with a set of associated critical questions whose answers may defeat the presumption. The critical questions enable the identification of att...

rational dialogues & ethical universalism

this article examines capacity of rational dialogues to achieve ethical universalism. in positive attitude, rational ability considered as most important reason for possibility of achievement to common social-political norms and rights. rational dialogue, by creating a suitable space for dialogue beyond the private interests and involvement of state power; searches consensus on foundation of so...

Topics in SCHISMA Dialogues

An important part of dialogue management in a dialogue system is topic management: The system has to keep track of topic aspects (current topic, context, obligations, : : : ) in order to be able to resolve ambiguities and to respond in a cooperative and sensible way. In the schisma project, we are developing a system that takes part in a conversation about theater performances and is able to ma...

Model Checking Command Dialogues

Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to communicate using such protocols. In this paper we explore the use of model checkers to verify properties of agent communication protocols, with these properties expressed as formulae in temporal logic. We illustrate our ap...